机译:使用Smt求解器而非Sat求解器进行软件的有界模型检查
机译:使用同步分析和SAT / SMT解决方案对并行系统进行高效验证
机译:CoReS:一种通过SAT / SMT求解器计算核心图的工具
机译:SAT / SMT求解器通过证明证人模块化集成到Coq
机译:使用证明助手和SMT解算器的边界网关协议的形式语义和可扩展验证。
机译:使用SAT求解器在功能近似电路中的错误测定标准确定
机译:SAT / SMT求解器通过证明证人模块化集成到Coq
机译:通过saT求解找到战略证明社会选择功能。